Medical Treatment Conflict Resolving in Answer Set Programming

Medical treatment decision making is a good application of knowledge representation and reasoning. We are particularly interested in using them to resolve treatment conflicts, a complicated condition when two treatments cannot be given simultaneously to a patient suffering from multiple symptoms. The logic system is required to reason on cases with and without treatment conflicts. Thanks to the nonmonotonicity of Answer Set Programming (ASP), we give an elegant solution for resolving a medical treatment conflict on an example problem and show the importance of nonmonotonicity in medical reasoning.